predicate calculus

/ˌprɛdəˈkeɪt ˌkælkjələs/
IPA guide

Definitions of predicate calculus
  1. noun
    a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
    synonyms: functional calculus
    see moresee less
    type of:
    formal logic, mathematical logic, symbolic logic
    any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Cite this entry
Style:
MLA
  • MLA
  • APA
  • Chicago

Copy citation
DISCLAIMER: These example sentences appear in various news sources and books to reflect the usage of the word ‘predicate calculus'. Views expressed in the examples do not represent the opinion of Vocabulary.com or its editors. Send us feedback
Word Family